Coordination of Complex Sociotechnical Systems by Stefano Mariani

Author:Stefano Mariani
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

The spatial extension to ReSpecT meets all the requirements to successfully implement the above benchmark at the level of the ADM. In fact:a combination of three Observation Predicates is given to measure spatial properties: current_place measuring where the tuple centre executing the current ReSpecT reaction is

event_place, start_place measuring respectively where the direct cause and start cause [31] of the event triggering the current ReSpecT computation took place

given that the modification of spatial properties is necessarily bound to the facilities provided by the host device, the manipulation requirement can be addressed by situatedness-related constructs of ReSpecT: ? env(, ) precisely meant to be used as an interface to device actuators, allowing an agent to dispatch commands to a device at the most appropriate level of abstraction—that is, as a part of the environment managed through the coordination medium

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.